Search For:

Displaying 1-4 out of 4 total
Your "What" Is My "How": Iteration and Hierarchy in System Design
Found in: IEEE Software
By Michael W. Whalen,Andrew Gacek,Darren Cofer,Anitha Murugesan,Mats P.E. Heimdahl,Sanjai Rayadurgam
Issue Date:March 2013
pp. 54-60
Systems are naturally constructed in hierarchies, in which design choices made at higher levels of abstraction levy requirements on system components at the lower levels. Thus, whether an aspect of a system is a design choice or a requirement largely depen...
Combining Generic Judgments with Recursive Definitions
Found in: Logic in Computer Science, Symposium on
By Andrew Gacek, Dale Miller, Gopalan Nadathur
Issue Date:June 2008
pp. 33-44
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that allow direct, l...
Reasoning about higher-order relational specifications
Found in: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP '13)
By Andrew Gacek, Gopalan Nadathur, Kaustuv Chaudhuri, Yuting Wang
Issue Date:September 2013
pp. 157-168
The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems that are commonly presented via syntax-directed rules that make use of contexts and side-conditions. The two-level logic approach, as implemented i...
Relating nominal and higher-order abstract syntax specifications
Found in: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP '10)
By Andrew Gacek
Issue Date:July 2010
pp. 177-186
Nominal abstract syntax and higher-order abstract syntax provide a means for describing binding structure which is higher-level than traditional techniques. These approaches have spawned two different communities which have developed along similar lines bu...